Semantic Tableaux Method for Propositional Logic